Subtype polymorphism - PDFSEARCH.IO - Document Search Engine

Subtype polymorphism
Results: 217

#	Item
171	Algorithms for and the Complexity of Constraint Entailment by Zhendong Patrick Su B.A. (University of Texas at Austin[removed]B.S. (University of Texas at Austin) 1995 Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2002-12-10 17:31:00 Computing Programming language theory Object-oriented programming Polymorphism Subtype polymorphism Entailment Type system E Constraint Type theory Software engineering Data types
172	A Practical Subtyping System For Erlang Simon Marlow Philip Wadler [removed] [removed] University of Glasgow Bell Labs, Lucent Technologies Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2003-10-17 05:44:15 Programming language theory Constraint programming Data types Polymorphism Logic programming Type system Subtype polymorphism Type inference Unification Type theory Software engineering Mathematics
173	113 Some Useful Modula-3 Interfaces Jim Horning, Bill Kalsow, Paul McJones, Greg Nelson Add to Reading List Source URL: www.fh-jena.de Language: English - Date: 2007-10-15 12:28:52 Object-oriented programming Modula-3 Modula-2+ Modula-2 Abstraction Go Subtype polymorphism Jim Horning Interface Computing Software engineering Computer programming
174	In this paper, we discuss the utility and deficiencies of existing ontology resources for a number of language processing applications. We describe a technique for increasing the semantic type coverage of a specific onto Add to Reading List Source URL: www.modern-medical-science.site88.net Language: English - Date: 2013-02-01 20:01:47 Type theory Linguistics Unified Medical Language System Knowledge representation Semantics Type system Semantic network Subtype polymorphism Receptor Biology Grammar Data types
175	TypEr: A Type Annotator of Erlang Code Tobias Lindahl and Kostis Sagonas Dept of Information Technology Uppsala University Add to Reading List Source URL: www.erlang.se Language: English - Date: 2005-10-20 06:23:56 Computer programming Data types Subroutines Ericsson Erlang Subtype polymorphism Type signature Type system Type inference Software engineering Type theory Computing
176	TEMPO RELEASE NOTES v0.1.6 (BETA[removed]Recent Fixes (v0.1.6) Add to Reading List Source URL: www.veromodo.com Language: English - Date: 2011-07-22 14:02:46 C++ Procedural programming languages Object-oriented programming ALGOL 68 Subtype polymorphism Constructor Reference Software engineering Programming language theory Computing
177	Practical Type Inference Based on Success Typings Tobias Lindahl 1 Add to Reading List Source URL: www.it.uu.se Language: English - Date: 2009-04-23 03:56:30 Programming language theory Type system Hindley–Milner Type inference Erlang Subtype polymorphism Closure Type safety System F Type theory Software engineering Computing
178	Set-theoretic Foundation of Parametric Polymorphism and Subtyping Giuseppe Castagna1 Add to Reading List Source URL: www.pps.univ-paris-diderot.fr Language: English - Date: 2012-05-16 06:05:46 Type theory Object-oriented programming Data types Models of computation Formal methods Subtype polymorphism Lambda calculus Type system Polymorphism Theoretical computer science Software engineering Mathematics
179	WORKING DRAFT National Register White Paper Add to Reading List Source URL: www.nps.gov Language: English - Date: 2009-04-09 14:57:12 Software engineering Subtype polymorphism Ownership Apartment Computing Designated landmark National Register of Historic Places Historic preservation Historic districts in the United States
180	Preface Preface Welcome — And Thank You! Thank you for choosing C++ For Artists: The Art, Philosophy, and Science of Object-Oriented Programming. You have selected an excellent book to augment your C++ and object-orien Add to Reading List Source URL: www.pulpfreepress.com Language: English - Date: 2004-09-13 16:25:30 Object-oriented programming Data types C++ Polymorphism Object-oriented design Generic programming Subtype polymorphism Pointer C Software engineering Computing Computer programming

UPDATE